Labels:bulletin board | paper | reckoner | sky OCR: EXAMPLE CAN AN ARBITRARY PRUB LEM BE LAN GUAG GRAPH THE GRAPH MNO WE Mu 57 ENCODE THE PROBLEM INTO LANGUAG F CONNECTED 6RAPH WANT: DELIDE THIS LANGUAGE 4CCEP] graph not alid RETELT UNCONNE d007 PROBI EM IS DECIDABLE .M. WILL ALWAYS HALT. EXPRESSEO UNDIRECTED NNOO MUST IN7O LANGMAGE ACLEPI Either Valid repre esentation UNCONNECTED Loop PROBL